var a02317 =
[
    [ "flags", "a02317.html#a29bb851466268efcf57e7e81e2d0ab09", null ],
    [ "msg", "a02317.html#ac13bc459ae800248eabb652b9f6dc8ed", null ]
];